$\forall$${\it es}$:event\_system\{i:l\}, $i$:Id, ${\it ds}$:fpf(Id; $x$.Type\{i\}). @$i$ discrete ${\it ds}$ $\in$ prop\{i':l\}